" Andre Hirschowitz" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Vector Bundles and Differential Equations: Proceedings, Nice, June 12-17, 1979

Автор: Andre Hirschowitz

Категория: Mathematics

Размер книги: 2.12 Mb

Theorem Proving in Higher Order Logics, 12 conf., TPHOLs'99

Автор: Yves Bertot, Автор: Gilles Dowek, Автор: Andre Hirschowitz, Автор: Christine Paulin, Автор: Laurent Thery

Категория: Cs_Computer science, CsLn_Lecture notes

Размер книги: 3.53 Mb